Positivity relations on a locale

Computable Sets: Located and Overt Locales

What is a computable set? One may call a bounded subset of the plane computable if it can be drawn at any resolution on a computer screen. Using the constructive approach to computability one naturally considers totally bounded subsets of the plane. We connect this notion with notions introduced in other frameworks. A subset of a totally bounded set is again totally bounded iff it is located. L...

Locatedness and overt sublocales

Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to be fundamental in constructive locale theory. We show that the two notions are intimately connected. Bishop defines a metric space to be compact if it is complete and totally bounded. A subset of a totally bounded set...

A note on semi-regular locales

Semi-regular locales are extensions of the classical semiregular spaces. We investigate the conditions such that semi-regularization is a functor. We also investigate the conditions such that semi-regularization is a reflection or coreflection.

Resultats de l'immunisation collective des enfants en Iran avec de production locale.

FINITENESS PROPERTIES OF LOCALE COHOMOLOGY MODULES FOR (I;J)- MINIMAX MODULES

ABSTRACT. Let R be a commutative noetherian ring, I and J are two ideals of R. Inthis paper we introduce the concept of (I;J)- minimax R- module, and it is shown thatif M is an (I;J)- minimax R- module and t a non-negative integer such that HiI;J(M) is(I;J)- minimax for all i